A note on the independence of premiss rule

نویسندگان

  • Hajime Ishihara
  • Takako Nemoto
چکیده

In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that HA and HA extended by some non-classical axioms and non-constructive axioms are closed under IPR.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The premiss-based approach to judgment aggregation

We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus de…ned is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessar...

متن کامل

The Premiss-Based Approach to Logical Aggregation1

We investigate judgment aggregation by assuming that some formulas of the agenda are singled out as premisses, and the Independence condition (formula-wise aggregation) holds for them, though perhaps not for others. Whether premiss-based aggregation thus defined is non-degenerate depends on how premisses are logically connected, both among themselves and with other formulas. We identify necessa...

متن کامل

The Rule of "Nafye Sabil" [i.e. to prevent the Islamic society to be dominated by non-Muslims] in Islamic Thought and Foreign Policy of Islamic Republic of Iran

As a jurisprudential rule, "nafye sabil" has played a sustaining and influential role in Islamic system's major decisions, policies and behavior. This principle is of high importance in Islamic state's foreign relations. Rejecting oppression and tyranny against Muslims and preserving their freedom and removing dependence on aliens is the foundation of this rule in Islamic republic of Iran's for...

متن کامل

Influence of Internal Disputes among Kurdish Parties on the Failure of Independence of Iraqi Kurdistan

The Kurds were originally one of the original Iranian tribesmen who, during the Safavid rule, following the conflict between Shah Isma'il Safavi and Salim I, the king of the Ottoman Empire in the year 1514 on parts of Iran's territory which were Kurdish - called the Chaldoran War- were separated and joined to the Ottoman Empire's territory. These parts today include: today's Turkish Kurdistan, ...

متن کامل

A New Statistical Approach for Recognizing and Classifying Patterns of Control Charts (RESEARCH NOTE)

Control chart pattern (CCP) recognition techniques are widely used to identify the potential process problems in modern industries. Recently, artificial neural network (ANN) –based techniques are very popular to recognize CCPs. However, finding the suitable architecture of an ANN-based CCP recognizer and its training process are time consuming and tedious. In addition, because of the black box ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Log. Q.

دوره 62  شماره 

صفحات  -

تاریخ انتشار 2016